101. A tour through mathematical logic /
پدیدآورنده : Robert S. Wolf
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Abstract,Logic, Symbolic and mathematical
رده :
QA9
.
W64
2005
102. A unifying field in logics :
پدیدآورنده : Florentin Smarandache.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.
رده :
BC135
.
S5177
2003
103. Abelian varieties
پدیدآورنده : Lang, Serge
کتابخانه: (طهران)
موضوع : ، Abelian groups,، Logic, Symbolic and mathematical
رده :
QA
171
.
L28
104. Abstract set theory
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical,Algebra, abstract
رده :
512
.
8
Fr-A
105. Acting and Reflecting :
پدیدآورنده : edited by Wilfried Sieg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
106. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
107. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
108. Adaptive Resonance Theory Microchips
پدیدآورنده : by Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Andreas G. Andreou.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Logic, Symbolic and mathematical.
109. #Admissibility of logical inference rules
پدیدآورنده : #Vladimir V. Rybakov
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Logic, Symbolic and mathematical ،Inference
رده :
#
QA
،#.
R986
،#
1997
110. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir Vladimir
کتابخانه: (طهران)
موضوع : Logic, Symbolic and mathematical , Inference
رده :
QA
9
.
R986
1997
111. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir V. )Vladimir Vladimir(
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Logic, Symbolic and mathematical,، Inference
رده :
QA
9
.
R986
1997
112. Advanced mathematics :
پدیدآورنده : Stanley J. Farlow.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.
رده :
QA37
.
3
113. Advanced mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
114. Advanced work in English
پدیدآورنده : Parker, Colin Rodwell Eric.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، English language - Style,، Logic, Symbolic and mathematical
رده :
PE
1413
.
P28
115. Advances in Computational Intelligence :
پدیدآورنده : edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computers.,Logic, Symbolic and mathematical.
116. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
پدیدآورنده : Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: (طهران)
موضوع : Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
117. Advances in linear logic
پدیدآورنده : edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
L56
1995
118. Advances in linear logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
119. Advances in logic, artificial intelligence, and robotics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;
120. Advances in logic, artificial intelligence, and robotics :
پدیدآورنده : edited by Jair Minoro Abe and João Inácio da Silva Filho.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
رده :
Q334
.
C69
2002eb
